ARCH_GENERIC_FLAGS += -DportasmHANDLE_INTERRUPT=plic_handle -DconfigSBI=2 -DconfigISR_STACK_SIZE_WORDS=0x1000
